例句與造句

1. Bounded model checking has been recently introduced as an efficient verification method for reactive systems
   Ctl的有界模型檢測模型檢測是一種強(qiáng)有力的系統(tǒng)驗(yàn)證技術(shù)。
2. As an important reactive systems , real - time systems has been used widely in safety - critical field , so it ' s safety and reliability must been guaranteed
   實(shí)時系統(tǒng)作為一種在現(xiàn)實(shí)中廣泛使用的反應(yīng)型系統(tǒng)，因其大多使用于安全攸關(guān)的領(lǐng)域，所以必須保證它的安全可靠。
3. Furthermore , an overview about real - time systems which is different from generic reactive systems is given . we review real time extension of formal method oriented real time system
   但是因?yàn)樗钟袆e于一般的反應(yīng)型系統(tǒng)，所以我們接著介紹了實(shí)時系統(tǒng)的特殊性，并且介紹了形式化方法面向?qū)崟r系統(tǒng)的擴(kuò)展。
4. This thesis presents a powerful methodology for specifying scenario - based requirements of reactive systems , in which behaviors are " played in " directly from the system ' s gui or some abstract version thereof , and can then be " played out "
   用這個工具用戶直接從系統(tǒng)的原型gui界面取“ playin ”場景，并且可以“ playout ”這些場景，從而獲取并確認(rèn)需求。
5. The test result has proved : based on ecdf model , e has got a high executing efficiency and a well real - time performance over event - driven operating systems . it is not only suit for high speed burst data flow processing , but also can be used in reactive system design
   測試結(jié)果表明：與原有的基于dhdf模型的可視化語言相比， e語言不僅實(shí)現(xiàn)了并發(fā)運(yùn)行機(jī)制，而且在事件驅(qū)動的操作系統(tǒng)上運(yùn)行時具有更高的效率和更好的實(shí)時性能。
6. It's difficult to find reactive system in a sentence. 用reactive system造句挺難的
7. 21 majster - cederbaum m , salger f . towards the hierarchical verification of reactive systems . theoretical computer science , 2004 , 318 : 243 - 296 . 22 winskel g . an introduction to event structures . lecture notes in computer science 354 , 1989 , pp . 364 - 397 . 23 hoare c a r . communicating sequential processes , prentice - hall , 1985
   本文分別在語法和語義層次上對動作精化進(jìn)行了定義，并證明了這兩個層次的動作精化在前述兩種等價關(guān)系下，關(guān)于一種基于完全偏序的指稱語義是一致的。
8. In recent measuring method , protein electrophoresis is rapid , accurate , steady and economic , not affected by environment condition , we improve reactive system of our national tentative com protein gelatinous electrophoresis , and that which is more adapted to imaging process
   在玉米種子純度檢測的方法中，蛋白質(zhì)凝膠電泳法具有快速、準(zhǔn)確、穩(wěn)定、經(jīng)濟(jì)、不受環(huán)境條件影響等特點(diǎn)，因此，選取此方法作為種子純度檢測方法。對國家試行的玉米蛋白凝膠電泳法的反映體系進(jìn)行了改進(jìn)，使得到的圖像更清晰。